Mapping SDL Specification Fundamentals to Core SDL Ontology
نویسندگان
چکیده
منابع مشابه
Mapping SDL Specification Fundamentals to Core SDL Ontology
This paper gives a contribution in the efforts of Semantic web ontology development. We have developed the core ontology for Specification and Description Language (SDL), an object-oriented, formal language defined by the International Telecommunications Union Telecommunications Standardization Sector (ITU-T) as recommendation Z.100. The language is intended for the specification of complex, ev...
متن کاملTowards SDL Ontology
Web In this paper we have developed the ontology for Specification and Description Language (SDL), an object-oriented, formal language defined by ITUT as recommendation Z.100. The language is intended for the specification of realtime complex and concurrent applications that communicate using discrete signals. SDL formal model bridges the gap between ideas in our minds and the actual implementa...
متن کاملSDL to Fiacre
The translation of a system model to an intermediate format is an important step towards formal proofs of properties. This paper presents the formulation of rules to enable the translation of SDL standard models to Fiacre language. The translated model is then provided as input to a suitable toolset that performs model checking and other analysis. The formulated translation rules are discussed ...
متن کاملSDL Basics
This tutorial is a quick introduction to the basic ideas, concepts and features of SDL. It starts by introducing the class of systems that SDL is intended for and the main features of their behaviour. The correspondence between these features and the basic concepts of SDL are explained. Then the various language elements of SDL are introduced gradually and exemplified by way of a simple system ...
متن کاملSpecification of Timed EFSM Fault Models in SDL
In this paper, we apply our timing fault modeling strategy to writing formal specifications for communication protocols. Using the formal language of Specification and Description Language (SDL), we specify the Controller process of rail-road crossing system, a popular benchmark for real-time systems. Our extended finite state machine (EFSM) model has the capability of representing a class of t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Communications Software and Systems
سال: 2010
ISSN: 1846-6079,1845-6421
DOI: 10.24138/jcomss.v6i1.195